单词modal logic
un.: 模态逻辑
网络: 情态逻辑；模型逻辑；模太逻辑
模态逻辑
In this article, the author writes in different ways to analyze the investigation logic from the theory of possible world and modal logic.
可能世界语义学从形式结构方面研究这一理论，但它又不只是哲学逻辑的惟一语义。
There exists the similar relation between the necessitation and modal logic.
对必然化规则和模态逻辑系统来说有类似的结果。
It also has many merits that weak bisimulation does not have, e. g. , algebraic characterization and modal logic characterization.
它还拥有弱互模拟没有的优点，如代数刻画和模态逻辑刻画。
Barcan formulas play an important role in constructing semantics of quantified modal logic.
在模态谓词逻辑语义学构建的过程中，巴坎公式扮演着重要的角色。
Historical development of modal logic passed the syntactic period, the classic period, and the modern period.
模态逻辑的历史发展经历了语形时期、经典时期和现代时期；
It relates to action logic, modal logic and other branches of logic, and makes a notable impact on them.
它涉及到行动逻辑与模态逻辑等逻辑分枝领域并对其产生重要影响。
The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.
模态逻辑S5，被看作S4中一个理论，是一元布尔代数的模型，如同模态逻辑S4是内部代数的模型。
Modal logic is the logic of necessity and possibility.
模态逻辑是关于必要性和可能性的逻辑。
Monadic Boolean algebras also have an important connection to modal logic.
一元布尔代数还与模态逻辑有重要联系。
Quantified modal logic based on free logic improves classic quantified modal logic.
以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。